home *** CD-ROM | disk | FTP | other *** search
- package com.extensibility.xa;
-
- import com.extensibility.app.BaseEdit;
- import com.extensibility.rock.RAction;
- import com.extensibility.xa.undo.DgmPMenuCMMixedUndoable;
- import com.extensibility.xml.ElementDeclaration;
- import java.awt.event.ActionEvent;
- import javax.swing.JCheckBoxMenuItem;
-
- class ElementDiagram$7 extends RAction {
- // $FF: synthetic field
- final ElementDeclaration val$elem;
- // $FF: synthetic field
- final JCheckBoxMenuItem val$miMixed;
- // $FF: synthetic field
- final ElementDiagram this$0;
-
- public void actionOccurred(ActionEvent var1) {
- DgmPMenuCMMixedUndoable var2 = new DgmPMenuCMMixedUndoable((ElementTableModel)this.this$0.getSchemaWin().getCurrentTable().getDeclTableModel(), this.this$0, this.this$0.getSchemaDoc(), this.val$elem, this.val$miMixed.getState());
- this.this$0.getSchemaDoc().getUndoManager().addEdit(var2);
- ((BaseEdit)var2).doCommand();
- }
-
- ElementDiagram$7(ElementDeclaration var1, JCheckBoxMenuItem var2, ElementDiagram var3) {
- this.val$elem = var1;
- this.val$miMixed = var2;
- this.this$0 = var3;
- }
- }
-